[计]语义锁定;

语义归结、锁归结、线性归结是三种重要的关于归结原理的改进。
来源:互联网摘选Linear strategy, semantic strategy and lock strategy for remainder method
余式方法中的线性策略以及语义策略和锁策略
来源:互联网摘选本文给出如下结果:语义归结和锁归结在某种条件下是相容的;
来源:互联网摘选
简答网 · 高考英语

简答网 · 四六级英语

简答网 · 高考英语
简答网 · 双语新闻

简答网 · 高考英语

简答网 · 双语娱乐资讯